aristotle

Harmonic团队Aristotle：自动定理证明达IMO金牌水平

这项由Harmonic团队开发的突破性研究成果发表于2025年10月，论文编号为arXiv:2510.01346v1。感兴趣深入了解的读者可以通过该论文编号查询完整的技术细节和实验数据。